- timed automaton
- синхронный автомат
English-Russian dictionary of computer science and programming. 2013.
timed automaton
Смотреть что такое "timed automaton" в других словарях:
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
Glossary of chess — See also: Outline of chess and Glossary of chess problems This page explains commonly used terms in chess in alphabetical order. Some of these have their own pages, like fork and pin. For a list of unorthodox chess pieces, see fairy chess… … Wikipedia
Liste Des Œuvres De A. E. Van Vogt — Cet article fait partie de la série Science fiction La SF à l’écran autre A B … Wikipédia en Français
Liste des œuvres de A. E. van Vogt — Ceci est une liste des œuvres de A. E. van Vogt, un écrivain de science fiction canadien. Sommaire 1 Introduction 1.1 Les œuvres majeures 2 Nouvelles 2 … Wikipédia en Français
Liste des œuvres de a. e. van vogt — Cet article fait partie de la série Science fiction La SF à l’écran autre A B … Wikipédia en Français
List of chess terms — This page explains commonly used terms in chess in alphabetical order. Some of these have their own pages, like fork and pin. For a list of unorthodox chess pieces, see fairy chess piece; for a list of terms specific to chess problems, see chess… … Wikipedia
Flush toilet — A flush toilet or Water Closet (WC) is a toilet that disposes of human waste by using water to flush it through a drainpipe to another location. Flushing mechanisms are found more often on western toilets (used in the sitting position), but many… … Wikipedia
Von Neumann universal constructor — John von Neumann s Universal Constructor is a self replicating machine in a cellular automata environment. It was designed in the 1940s, without the use of a computer. The fundamental details of the machine were published in von Neumann s book… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Chess — This article is about the Western board game. For other chess games or other uses, see Chess (disambiguation). Chess From left to right: a whit … Wikipedia
DEVS — abbreviating Discrete Event System Specification is a modular and hierarchical formalism for modeling and analyzing general systems that can be discrete event systems which might be described by state transition tables, and continuous state… … Wikipedia
